Dynamic Syntax

A Dynamic Syntax-Semantics Interface

The relation between syntax and semantics of natural language can be regarded as a constraint. With the ideas from Channel Theory (Barwise 1993, Barwise and Seligman 1994), the way that an utterance represents a situation can be captured as a linguistic channel. To study the operational aspects of such a channel, we construct it as a system of communicating processes by turning to the -calculus...

Towards a dynamic constituency model of syntax

Incrementality is a basic feature of the human language processor. There is a considerable amount of objective data that humans build-up interpretations of the sentences before perceiving the end of the sentence (Marslen-Wilson, 1973; Kamide et al., 2003), and there is also evidence to support the idea that such incremental interpretation is based on fast, incremental construction of syntactic ...

Dynamic Typing: Syntax and Proof Theory

We present the dynamically typed λ-calculus, an extension of the statically typed λcalculus with a special type Dyn and explicit dynamic type coercions corresponding to runtime type tagging and type check-and-untag operations. Programs in run-time typed languages can be interpreted in the dynamically typed λ-calculus via a nondeterministic completion process that inserts explicit coercions and ...

Dynamic syntax - the flow of language understanding

Introducing a new hobby for other people may inspire them to join with you. Reading, as one of mutual hobby, is considered as the very easy hobby to do. But, many people are not interested in this hobby. Why? Boring is the reason of why. However, this feel actually can deal with the book and time of you reading. Yeah, one that we will refer to break the boredom in reading is choosing dynamic sy...

ITRI-00-23 Towards a Dynamic Syntax for Language Modelling